Nipkow, M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Adolescents' justifications for faith or doubt in god: A study of fulfilled and unfulfilled expectations

Karl Ernst Nipkow, Friedrich Schweitzer

Journal:

New Directions for Child and Adolescent Development

Year:

1991

Language:

english

File:

PDF, 556 KB

english, 1991

2

A Revision of the Proof of the Kepler Conjecture

Thomas C. Hales, John Harrison, Sean McLaughlin, Tobias Nipkow, Steven Obua, Roland Zumkeller

Journal:

Discrete & Computational Geometry

Year:

2010

Language:

english

File:

PDF, 767 KB

english, 2010

3

Lernzielorientierter Religionsunterricht?

Nipkow, Karl Ernst

Journal:

Evangelische Theologie

Year:

1974

Language:

german

File:

PDF, 535 KB

german, 1974

4

3. Alfred K. Treml: Allgemeine Pädagogik. Grundlagen, Handlungsfelder und Perspektiven der Erziehung

Karl Ernst Nipkow

Journal:

Zeitschrift für Erziehungswissenschaft

Year:

2002

Language:

german

File:

PDF, 43 KB

german, 2002

5

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 806 || Programming with streams in Coq a case study: The Sieve of Eratosthenes

Barendregt, Henk, Nipkow, Tobias

Year:

1994

Language:

english

File:

PDF, 1.18 MB

english, 1994

6

Empirical Research Within Practical Theology

Ernst Nipkow, Karl

Journal:

Journal of Empirical Theology

Year:

1993

Language:

english

File:

PDF, 882 KB

english, 1993

7

Theologie des Kindes und Kindertheologie

Nipkow, Karl Ernst

Journal:

Zeitschrift fuer Theologie und Kirche

Year:

2006

Language:

german

File:

PDF, 166 KB

german, 2006

8

Die Herausforderung aus Brandenburg: »Lebensgestaltung — Ethik — Religionskunde« als staatliches Pflichtfach

Karl Ernst Nipkow

Journal:

Zeitschrift fuer Theologie und Kirche

Year:

1996

Language:

german

File:

PDF, 2.09 MB

german, 1996

9

Oikumene ‐ the Global Horizon for Christian and Religious Education

Nipkow, Karl Ernst

Journal:

British Journal of Religious Education

Year:

1993

Language:

english

File:

PDF, 643 KB

english, 1993

10

Theologie des Kindes und Kindertheologie

Karl Ernst Nipkow

Journal:

Zeitschrift fuer Theologie und Kirche

Year:

2006

Language:

german

File:

PDF, 1.68 MB

german, 2006

11

Religionsunterricht an evangelischen Schulen – Herausforderungen und Chancen

Nipkow, Karl Ernst

Journal:

Zeitschrift für Pädagogik und Theologie

Year:

2006

Language:

english

File:

PDF, 341 KB

english, 2006

12

A FORMAL PROOF OF THE KEPLER CONJECTURE

HALES, THOMAS, ADAMS, MARK, BAUER, GERTRUD, DANG, TAT DAT, HARRISON, JOHN, HOANG, LE TRUONG, KALISZYK, CEZARY, MAGRON, VICTOR, MCLAUGHLIN, SEAN, NGUYEN, TAT THANG, NGUYEN, QUANG TRUONG, NIPKOW, TOBIAS

Journal:

Forum of Mathematics, Pi

Year:

2017

Language:

english

File:

PDF, 470 KB

english, 2017

13

Christlicher Glaubensunterricht in der Säkularität

Nipkow, Karl Ernst

Journal:

Zeitschrift für Pädagogik und Theologie

File:

PDF, 1.53 MB

14

Linear Quantifier Elimination

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 453 KB

english, 2010

15

1. Annette Scheunpflug: Biologische Grundlagen des Lernens

Karl Ernst Nipkow

Journal:

Zeitschrift für Erziehungswissenschaft

Year:

2002

Language:

german

File:

PDF, 59 KB

german, 2002

16

2. Annette Scheunpflug: Evolutionäre Didaktik. Unterricht aus system-und evolutions-theoretischer Perspektive

Karl Ernst Nipkow

Journal:

Zeitschrift für Erziehungswissenschaft

Year:

2002

Language:

german

File:

PDF, 44 KB

german, 2002

17

Logic and computation—Interactive proof with Cambridge LCF: By L.C. Paulson. Cambridge University Press, Cambridge, 1987, Price £27.50, ISBN 0 521 34632 0

Journal:

Science of Computer Programming

Year:

1988

Language:

english

File:

PDF, 225 KB

english, 1988

18

Diurnal course of the temperature in a Lithops sp. (Mesembryanthemaceae Fenzl) and its surrounding soil

BENNO M. ELLER, ANDRÉ NIPKOW

Journal:

Plant, Cell & Environment

Year:

1983

Language:

english

File:

PDF, 5.68 MB

english, 1983

19

Proof Pearl: Regular Expression Equivalence and Relation Algebra

Alexander Krauss, Tobias Nipkow

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 283 KB

english, 2012

20

EDUCATION'S RESPONSIBILITY FOR MORALITY AND FAITH IN A RAPIDLY CHANGING WORLD

Nipkow, Karl Ernst

Journal:

Religious Education

Year:

1985

Language:

english

File:

PDF, 1.19 MB

english, 1985

21

[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - Higher-order critical pairs

Year:

1991

Language:

english

File:

PDF, 701 KB

english, 1991

22

Integrity of Faith, Social Justice and an Environmentally Friendly Future: What Kind of Inter‐faith Encounter Is Needed in our Schools?

Nipkow, Karl Ernst

Journal:

British Journal of Religious Education

Year:

1999

Language:

english

File:

PDF, 724 KB

english, 1999

23

Concrete Semantics ||

Nipkow, Tobias, Klein, Gerwin

Year:

2014

Language:

english

File:

PDF, 3.97 MB

english, 2014

24

[ACM Press the 21st annual ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - An operational semantics and type safety prooffor multiple inheritance in C++

Wasserrab, Daniel, Nipkow, Tobias, Snelting, Gregor, Tip, Frank

Year:

2006

Language:

english

File:

PDF, 1.75 MB

english, 2006

25

[ACM Press the 25th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1998.01.19-1998.01.21)] Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98 - Java light is type-safe---definitely

Nipkow, Tobias, von Oheimb, David

Year:

1998

Language:

english

File:

PDF, 1.31 MB

english, 1998

26

A machine-checked model for a Java-like language, virtual machine, and compiler

Klein, Gerwin, Nipkow, Tobias

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2006

Language:

english

File:

PDF, 2.55 MB

english, 2006

27

Religious Development and the Praxis of Religious Education1

Faust-Siehl, Gabriele, Krupka, Bernd, Schweitzer, Friedrich, Nipkow, Karl Ernst

Journal:

Journal of Empirical Theology

Year:

1995

Language:

english

File:

PDF, 1.29 MB

english, 1995

28

HOLCF = HOL + LCF

MÜLLER, OLAF, NIPKOW, TOBIAS, VON OHEIMB, DAVID, SLOTOSCH, OSCAR

Journal:

Journal of Functional Programming

Year:

1999

Language:

english

File:

PDF, 277 KB

english, 1999

29

Microfiltration cell-recycle pilot system for continuous thermoanaerobic production of exo-β-amylase

André Nipkow, J. Gregory Zeikus, Philipp Gerhardt

Journal:

Biotechnology and Bioengineering

Year:

1989

Language:

english

File:

PDF, 923 KB

english, 1989

30

Biomasseschätzung in Hefezüchtungen mittels Trübungsmeßsonden und einer Kapazitanzmeßsonde

Dr. André Nipkow, Dipl.-Nat W. Carlo Andretta, PD Dr. Othmar Käppeli

Journal:

Chemie Ingenieur Technik

Year:

1990

Language:

german

File:

PDF, 185 KB

german, 1990

31

Verified lightweight bytecode verification

Gerwin Klein, Tobias Nipkow

Journal:

Concurrency and Computation: Practice and Experience

Year:

2001

Language:

english

File:

PDF, 187 KB

english, 2001

32

Equational reasoning in Isabelle

Journal:

Science of Computer Programming

Year:

1989

Language:

english

File:

PDF, 1.53 MB

english, 1989

33

Bytecode Analysis for Proof Carrying Code

Martin Wildmoser, Amine Chaieb, Tobias Nipkow

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 280 KB

english, 2005

34

Preface

Stephan Merz, Tobias Nipkow

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 94 KB

english, 2007

35

Verified bytecode verifiers

Gerwin Klein, Tobias Nipkow

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 335 KB

english, 2003

36

Higher-order rewrite systems and their confluence

Richard Mayr, Tobias Nipkow

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.94 MB

english, 1998

37

Combining matching algorithms: The regular case

Journal:

Journal of Symbolic Computation

Year:

1991

Language:

english

File:

PDF, 1.30 MB

english, 1991

38

Boolean unification — The story so far

Urusula Martin, Tobias Nipkow

Journal:

Journal of Symbolic Computation

Year:

1989

Language:

english

File:

PDF, 1.02 MB

english, 1989

39

An improved synthetic medium for continuous cultivation ofZymomonas mobilis

A. Nipkow, W. Beyeler, A. Fiechter

Journal:

Applied Microbiology and Biotechnology

Year:

1984

Language:

english

File:

PDF, 332 KB

english, 1984

40

Effect of carbon dioxide on growth ofZymomonas mobilisin continuous culture

A. Nipkow, B. Sonnleitner, A. Fiechter

Journal:

Applied Microbiology and Biotechnology

Year:

1985

Language:

english

File:

PDF, 400 KB

english, 1985

41

Non-deterministic data types: models and implementations

Journal:

Acta Informatica

Year:

1986

Language:

english

File:

PDF, 1.55 MB

english, 1986

42

Unification in Boolean rings

Ursula Martin, Tobias Nipkow

Journal:

Journal of Automated Reasoning

Year:

1988

Language:

english

File:

PDF, 635 KB

english, 1988

43

Reduction and unification in lambda calculi with a general notion of subtype

Zhenyu Qian, Tobias Nipkow

Journal:

Journal of Automated Reasoning

Year:

1994

Language:

english

File:

PDF, 1.28 MB

english, 1994

44

Term rewriting and beyond — theorem proving in Isabelle

Journal:

Formal Aspects of Computing

Year:

1989

Language:

english

File:

PDF, 1.28 MB

english, 1989

45

Epistylis rotans

Journal:

Aquatic Sciences

Year:

1956

Language:

german

File:

PDF, 1.37 MB

german, 1956

46

Die Auxosporenbildung beiFragilaria crotonensisKitton im Plankton des Zürichsees

Journal:

Aquatic Sciences

Year:

1953

Language:

german

File:

PDF, 1.04 MB

german, 1953

47

Vorläufige Mitteilungen über Untersuchungen des Schlammabsatzes im Zürichsee

Journal:

Aquatic Sciences

Year:

1920

Language:

german

File:

PDF, 3.01 MB

german, 1920

48

Beobachtungen bei der entwicklung des dauereies vonBrachionus calycifloruspallas

Journal:

Aquatic Sciences

Year:

1958

Language:

german

File:

PDF, 1.56 MB

german, 1958

49

Die GattungPolyarthraEhrenberg im Plankton des Zürichsees und einiger anderer Schweizer Seen

Journal:

Aquatic Sciences

Year:

1952

Language:

german

File:

PDF, 4.44 MB

german, 1952

50

Ruheformen planktischer Kieselalgen im geschichteten Schlamm des Zürichsees

Journal:

Aquatic Sciences

Year:

1950

Language:

german

File:

PDF, 866 KB

german, 1950